#6.    Condense: 

assume(x, positive);  

assume(y, positive);  

 

`+`(`*`(5, `*`(log[10](x))), `*`(2, `*`(log[10](`+`(`*`(4, `*`(x)))))), `-`(log[10](`+`(`*`(8, `*`(`^`(x, 5)))))));  

`+`(`/`(`*`(5, `*`(ln(x))), `*`(ln(10))), `/`(`*`(2, `*`(ln(`+`(`*`(4, `*`(x)))))), `*`(ln(10))), `-`(`/`(`*`(ln(`+`(`*`(8, `*`(`^`(x, 5)))))), `*`(ln(10))))); (2.6.1)
 

 

`/`(`*`(`+`(`*`(2, `*`(ln(x))), ln(2))), `*`(`+`(ln(2), ln(5)))); (2.6.2)
 

 

`/`(`*`(ln(`+`(`*`(2, `*`(`^`(x, 2)))))), `*`(ln(10))); (2.6.3)
 

 

 

`+`(`*`(`/`(1, 2), `*`(ln(`+`(x, y)))), `-`(`*`(2, `*`(ln(`*`(x, `*`(y)))))), `-`(ln(x)), ln(y));  

`+`(`*`(`/`(1, 2), `*`(ln(`+`(x, y)))), `-`(`*`(2, `*`(ln(`*`(x, `*`(y)))))), `-`(ln(x)), ln(y)); (2.6.4)
 

 

ln(`/`(`*`(sqrt(`+`(x, y))), `*`(`^`(x, 3), `*`(y)))); (2.6.5)
 

 

 

`+`(ln(`/`(`*`(`+`(x, `-`(1))), `*`(x))), ln(`/`(`*`(x), `*`(`+`(x, 1)))), `-`(ln(`+`(`*`(`^`(x, 2)), `-`(1)))));  

`+`(ln(`/`(`*`(`+`(x, `-`(1))), `*`(x))), ln(`/`(`*`(x), `*`(`+`(x, 1)))), `-`(ln(`+`(`*`(`^`(x, 2)), `-`(1))))); (2.6.6)
 

 

`+`(`-`(ln(`+`(`*`(`^`(x, 2)), `-`(1)))), ln(`/`(`*`(`+`(x, `-`(1))), `*`(`+`(x, 1))))); (2.6.7)
 

 

`+`(`-`(`*`(2, `*`(ln(`+`(x, 1)))))); (2.6.8)